WSEXT

This parameter specifies workspace filename extensions. It complements the WSPATH parameter in that together they determine the file search order to satisfy )LOAD or )COPY; it also specifies the filename extension to add on )SAVE or )CONTINUE if none is explicitly provided.

WSEXT is a string that specifies a colon-separated list of one or more extensions, including any period (".") which separates the extension from its basename.

If undefined, WSEXT defaults to .dws: on Windows and OS X, and :.dws:.DWS on all other platforms.

In the Windows case, this means that )LOAD myws will search first for a file named myws.dws , and then for a file named myws (with no extension). As file names are not case-sensitive under Windows, this will find myws.DWS or MyWs.Dws and so forth. If none are found with this extension, it will load myws , MyWs , MYWS etc.

In the second (non-Windows) case note that )LOAD myws will search first for a file named myws , then myws.dws , then myws.DWS.

When )SAVE and ⎕SAVE is used without specifying a file extension, the first extension defined by WSEXT is applied to complete the file name. The default is therefore .dws in all cases.